Revision: tla-tools--devo--0--patch-35
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Wed Mar 24 14:07:33 JST 2004
Standard-date: 2004-03-24 05:07:33 GMT
Modified-files: Makefile.in configure
New-patches: hun@n-dimensional.de--2004-public/tla-tools--hun--0--base-0
    hun@n-dimensional.de--2004-public/tla-tools--hun--0--patch-1
    hun@n-dimensional.de--2004-public/tla-tools--hun--0--patch-2
    miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-35
Summary: Merge from hun@n-dimensional.de--2004-public/tla-tools--hun--0

Post-merge changes:

 (1) Don't include INSTALL in VAR_EXPORTS -- it shouldn't be needed
     except by the Makefile


Patches applied:

 * hun@n-dimensional.de--2004-public/tla-tools--hun--0--base-0
   tag of miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-32

 * hun@n-dimensional.de--2004-public/tla-tools--hun--0--patch-1
   use install instead of cp

 * hun@n-dimensional.de--2004-public/tla-tools--hun--0--patch-2
   use $(DESTFILE) variable for install/uninstall
